Magnús Már Halldórsson ICE-TCS, School of Computer Science Reykjavik University 101 Reykjavik, Iceland

Source URL: www.ru.is

• Computational complexity theory
• NP-complete problems
• Combinatorial optimization
• Theoretical computer science
• Maximum cut
• Approximation algorithm
• International Colloquium on Automata
• Languages and Programming
• Algorithmica
• Halldrsson
• International Symposium on Algorithms and Computation
• European Symposium on Algorithms
• Graph coloring

Written Examination DM 509 Programming Languages Department of Mathematics and Computer Science University of Southern Denmark Monday, January 10, 2011, 09:00 – 13:00

Source URL: www.imada.sdu.dk

Curriculum Vitae Ruzica Piskac address: The Department of Computer Science

Source URL: www.cs.yale.edu

• Logic in computer science
• Symposium on Principles of Programming Languages
• International Semantic Web Conference
• Separation logic
• Automated reasoning
• Computer Aided Verification
• Abstract interpretation
• Vasant Honavar
• Vienna Summer of Logic

FliPpr A Prettier Invertible Printing System Kazutaka Matsuda (Univ. of Tokyo) Meng Wang (Chalmers Univ. of Tech.)

Source URL: www2.sf.ecei.tohoku.ac.jp

• Computer programming
• Formal languages
• Software engineering
• Source code
• Software
• Compiler construction
• Parsing
• Prettyprint
• Formal grammar

Developer Manual Copyright Copyright © 2011 NHN Corp. All Rights Reserved. This document is provided for information purpose only. NHN Corp. has endeavored to verify the

Source URL: www.xpressengine.com

• Computing
• Computer architecture
• Computer file formats
• Markup languages
• Open formats
• Computer law
• GNU Project
• GNU General Public License
• Xe
• Loadable kernel module

888: LLVM Week 5 - LLVM testing infrastructure Tobias Grosser Advertisement - clang complete

Source URL: grosser.es

• Software
• Computer programming
• Compilers
• LLVM
• Clang
• Object-oriented programming languages
• Intermediate representation
• Printf format string
• Objective-C
• Infinite loop

Codelets: Linking Interactive Documentation and Example Code in the Editor Stephen Oney Carnegie Mellon University Pittsburgh, PAUSA

Source URL: from.so

• Computing
• Software engineering
• Computer programming
• Cross-platform software
• HTML
• Concurrent programming languages
• Procedural programming languages
• Technical communication
• Example-Centric Programming
• Comment
• Eval
• Regular expression

Controlling Extraction in Abstract Categorial Grammars Sylvain Pogodalla1 and Florent Pompigne2 1

Source URL: www.angl.hu-berlin.de

• Theoretical computer science
• Grammar frameworks
• Complexity classes
• Theory of computation
• Type theory
• Formal languages
• Mathematics
• Categorial grammar
• NP
• Lambda calculus
• Model theory

OpenNWA: A Nested-Word Automaton Library⋆ Evan Driscoll1 , Aditya Thakur1 , and Thomas Reps1,2 1 Computer Sciences Department, University of Wisconsin – Madison {driscoll,adi,reps}@cs.wisc.edu

Source URL: research.cs.wisc.edu

• Formal languages
• Finite automata
• Nested word
• Words
• Finite-state machine

No more need for records Richard A. O’Keefe Computer Science, University of Otago November 2003 Fifth draft: May 2012 Abstract

Source URL: www.cs.otago.ac.nz

• Programming paradigms
• Functional languages
• Concurrent programming languages
• Ericsson
• Erlang
• Data management
• Mnesia
• Pattern matching
• Functional programming
• Record
• Tuple
• Object-oriented programming